<html>
<head><meta charset="utf-8"><title>meeting 2019.07.01 · wg-traits · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/index.html">wg-traits</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202019.2E07.2E01.html">meeting 2019.07.01</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="169417273"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202019.07.01/near/169417273" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202019.2E07.2E01.html#169417273">(Jul 01 2019 at 18:06)</a>:</h4>
<p>Hey <span class="user-group-mention" data-user-group-id="692">@WG-traits</span> =) I don't have much to update from last week. </p>
<p>Given the general lack of activity and my planned vacation, I'm thinking about suspending these meetings until the fall (or late August), and making a renewed attempt at getting organized then.</p>



<a name="169417280"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202019.07.01/near/169417280" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202019.2E07.2E01.html#169417280">(Jul 01 2019 at 18:06)</a>:</h4>
<p>Though <span class="user-mention" data-user-id="117350">@Sunjay Varma</span> and I are supposed to have a chat in a bit :)</p>



<a name="169419352"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202019.07.01/near/169419352" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Sunjay Varma <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202019.2E07.2E01.html#169419352">(Jul 01 2019 at 18:29)</a>:</h4>
<p>I'm in the zoom meeting</p>



<a name="169419532"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202019.07.01/near/169419532" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Sunjay Varma <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202019.2E07.2E01.html#169419532">(Jul 01 2019 at 18:31)</a>:</h4>
<p><a href="https://paper.dropbox.com/doc/Chalk-and-Specialization--AgEWIBFuX8r0ivXjYsji70cRAg-urrCptcGmI7PA4pYaF5yn" target="_blank" title="https://paper.dropbox.com/doc/Chalk-and-Specialization--AgEWIBFuX8r0ivXjYsji70cRAg-urrCptcGmI7PA4pYaF5yn">https://paper.dropbox.com/doc/Chalk-and-Specialization--AgEWIBFuX8r0ivXjYsji70cRAg-urrCptcGmI7PA4pYaF5yn</a></p>



<a name="169419649"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202019.07.01/near/169419649" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202019.2E07.2E01.html#169419649">(Jul 01 2019 at 18:32)</a>:</h4>
<p><span class="user-mention" data-user-id="117350">@Sunjay Varma</span> can you connect to <a href="https://mozilla.zoom.us/j/904837813" target="_blank" title="https://mozilla.zoom.us/j/904837813">this room instead</a>?</p>



<a name="169422279"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202019.07.01/near/169422279" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Sunjay Varma <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202019.2E07.2E01.html#169422279">(Jul 01 2019 at 19:06)</a>:</h4>
<p>Happy Canada day everyone! <span aria-label="maple leaf" class="emoji emoji-1f341" role="img" title="maple leaf">:maple_leaf:</span></p>



<a name="169425005"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202019.07.01/near/169425005" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> centril <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202019.2E07.2E01.html#169425005">(Jul 01 2019 at 19:43)</a>:</h4>
<p><span class="user-mention" data-user-id="116009">@nikomatsakis</span> speaking of associated types and specialization. We have a PR up for a partial fix for <code>associated_type_defaults</code> in <a href="https://github.com/rust-lang/rust/issues/61812" target="_blank" title="https://github.com/rust-lang/rust/issues/61812">#61812</a>. I have reviewed parts of it (but mostly from a testing POV). <span class="user-mention" data-user-id="228094">@Ariel Ben-Yehuda</span>  is reviewing it too but it would be good if you could give it a look as well.</p>



<a name="169434762"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202019.07.01/near/169434762" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202019.2E07.2E01.html#169434762">(Jul 01 2019 at 21:57)</a>:</h4>
<blockquote>
<p>Though <span class="user-mention silent" data-user-id="117350">Sunjay Varma</span> and I are supposed to have a chat in a bit :)</p>
</blockquote>
<p><a href="https://youtu.be/r3_ITLKLGJs" target="_blank" title="https://youtu.be/r3_ITLKLGJs">https://youtu.be/r3_ITLKLGJs</a></p>
<div class="youtube-video message_inline_image"><a data-id="r3_ITLKLGJs" href="https://youtu.be/r3_ITLKLGJs" target="_blank" title="https://youtu.be/r3_ITLKLGJs"><img src="https://i.ytimg.com/vi/r3_ITLKLGJs/default.jpg"></a></div>



<a name="169434796"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202019.07.01/near/169434796" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202019.2E07.2E01.html#169434796">(Jul 01 2019 at 21:57)</a>:</h4>
<p>Yes, <span class="user-mention" data-user-id="126931">@centril</span>, I saw that.</p>



<a name="169434939"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202019.07.01/near/169434939" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> centril <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202019.2E07.2E01.html#169434939">(Jul 01 2019 at 21:59)</a>:</h4>
<p><span class="user-mention" data-user-id="116009">@nikomatsakis</span> cool; would be good review soon as it also closes an existing (nightly only) soundness hole</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>